6 research outputs found
A general framework for nonholonomic mechanics: Nonholonomic Systems on Lie affgebroids
This paper presents a geometric description of Lagrangian and Hamiltonian
systems on Lie affgebroids subject to affine nonholonomic constraints. We
define the notion of nonholonomically constrained system, and characterize
regularity conditions that guarantee that the dynamics of the system can be
obtained as a suitable projection of the unconstrained dynamics. It is shown
that one can define an almost aff-Poisson bracket on the constraint AV-bundle,
which plays a prominent role in the description of nonholonomic dynamics.
Moreover, these developments give a general description of nonholonomic systems
and the unified treatment permits to study nonholonomic systems after or before
reduction in the same framework. Also, it is not necessary to distinguish
between linear or affine constraints and the methods are valid for explicitly
time-dependent systems.Comment: 50 page
Discrete Nonholonomic Lagrangian Systems on Lie Groupoids
This paper studies the construction of geometric integrators for nonholonomic
systems. We derive the nonholonomic discrete Euler-Lagrange equations in a
setting which permits to deduce geometric integrators for continuous
nonholonomic systems (reduced or not). The formalism is given in terms of Lie
groupoids, specifying a discrete Lagrangian and a constraint submanifold on it.
Additionally, it is necessary to fix a vector subbundle of the Lie algebroid
associated to the Lie groupoid. We also discuss the existence of nonholonomic
evolution operators in terms of the discrete nonholonomic Legendre
transformations and in terms of adequate decompositions of the prolongation of
the Lie groupoid. The characterization of the reversibility of the evolution
operator and the discrete nonholonomic momentum equation are also considered.
Finally, we illustrate with several classical examples the wide range of
application of the theory (the discrete nonholonomic constrained particle, the
Suslov system, the Chaplygin sleigh, the Veselova system, the rolling ball on a
rotating table and the two wheeled planar mobile robot).Comment: 45 page
Discrete Routh Reduction
This paper develops the theory of abelian Routh reduction for discrete
mechanical systems and applies it to the variational integration of mechanical
systems with abelian symmetry. The reduction of variational Runge-Kutta
discretizations is considered, as well as the extent to which symmetry
reduction and discretization commute. These reduced methods allow the direct
simulation of dynamical features such as relative equilibria and relative
periodic orbits that can be obscured or difficult to identify in the unreduced
dynamics. The methods are demonstrated for the dynamics of an Earth orbiting
satellite with a non-spherical correction, as well as the double
spherical pendulum. The problem is interesting because in the unreduced
picture, geometric phases inherent in the model and those due to numerical
discretization can be hard to distinguish, but this issue does not appear in
the reduced algorithm, where one can directly observe interesting dynamical
structures in the reduced phase space (the cotangent bundle of shape space), in
which the geometric phases have been removed. The main feature of the double
spherical pendulum example is that it has a nontrivial magnetic term in its
reduced symplectic form. Our method is still efficient as it can directly
handle the essential non-canonical nature of the symplectic structure. In
contrast, a traditional symplectic method for canonical systems could require
repeated coordinate changes if one is evoking Darboux' theorem to transform the
symplectic structure into canonical form, thereby incurring additional
computational cost. Our method allows one to design reduced symplectic
integrators in a natural way, despite the noncanonical nature of the symplectic
structure.Comment: 24 pages, 7 figures, numerous minor improvements, references added,
fixed typo